home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / aiprolog.stn / isoprolo.lha / Contents~ < prev    next >
Text File  |  1993-07-21  |  3KB  |  80 lines
  1. aisun1.ai.uga.edu   directory  ai.prolog.standard
  2.  
  3. The files in this directory contain the March 1993 draft ISO Prolog
  4. standard, in PostScript, in five parts, plus a cover page.
  5.  
  6. (The last part is an appendix on formal semantics; if what you want
  7. is the syntax of the language, you need only the first three parts.)
  8.  
  9. ------------------------------------------------------------------------
  10. Below is the original Readme file, with essential changes made.
  11. ------------------------------------------------------------------------
  12. Date: Mon, 5 Apr 93 10:22:04 BST
  13. From: Roger Scowen <rss@seg.npl.co.uk>
  14. Message-Id: <7070.9304050922@pear.seg.npl.co.uk>
  15. To: mcovingt@athena.cs.uga.edu
  16. Subject: draft prolog - readme file, etc
  17. Status: RO
  18. -----------------------------------------------------------
  19.  
  20. Draft Prolog standard -- IS CD 13211-1, March 1993
  21.  
  22. The draft International Prolog standard is stored as five PostScript files
  23.  
  24.    0  Editor's foreword
  25.    1  Pages i-v, 1-23 -- Contents, Definitions, Syntax
  26.    2  Pages 24-63 -- Semantic concepts, Built-in predicates
  27.    3  Pages 64-101 -- Built-in prediactes, Evaluable functors
  28.    4  Pages 121-171 -- Formal semantics
  29.  
  30.    ( This version of the draft does not contain pages 102-120 because
  31.    all of it is printed in 9pt type. The version distributed by ISO/IEC
  32.    and to WG17 members has all the text except the Formal semantics in 
  33.    10pt type, and has page numbers 1-viii, 1-171 ).
  34.  
  35. The reference identifier in WG17 of this draft is ISO/IEC JTC1 SC22 N110.  
  36. More generally, it is
  37.  
  38.    Committee Draft ISO/IEC CD 13211-1.
  39.  
  40. (the '-1' indicate Part 1. Modules will be, eventually, IS 13211-2;
  41.    CD is an acronym for `Committee Draft').
  42.  
  43. The is also being circulated to national Standards bodies
  44. (e.g. AFNOR, ANSI, DIN, etc) for ballot: the primary question
  45. is "Do you approve this CD?" Each standards body must vote
  46. "Yes", or "Yes with comments", or "No with comments" (this is
  47. a simplification, but your standards body will know what to do).
  48.  
  49. The ballot period will run from April 8 to July 16 1993, and the
  50. comments will be resolved at WG17's meeting in Boston (USA) 18-20
  51. August 1993.  WG17 will then report to the SC22 plenary meeting (Paris,
  52. 20-24 September) whether we have reached agreement, or need to have
  53. another CD ballot.  If the vote is successful, another draft will be
  54. circulated as a DIS (Draft International Standard).
  55.  
  56.       *******************************************
  57.       *                                         *
  58.       * Please send a copy of your national     *
  59.       * votes and any personal comments on the  *
  60.       * draft to me for circulation to WG17     *
  61.       * directly, as well as to the SC22        *
  62.       * secretriat.                             *
  63.       *                                         *
  64.       * This will help WG17 plan ahead.         *
  65.       *                                         *
  66.       *******************************************
  67.  
  68. Roger Scowen (ISO/IEC JTC1 SC22 WG17 Prolog convener),
  69. DITC/93, National Physical Laboratory,
  70. Teddington, Middlesex, Great Britain   TW11 0LW
  71. Telephone: +44 81 943 6956
  72. E-Mail: rss@seg.npl.co.uk         Fax: +44 81 977 7091
  73. 5 April 1993
  74.  
  75.  
  76.  
  77.  
  78.  
  79.  
  80.